Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
671	Run Your Research On the Effectiveness of Lightweight Mechanization Casey Klein1 Matthew Flatt4 John Clements2 Add to Reading List Source URL: eecs.northwestern.edu Language: English - Date: 2011-11-14 12:38:44 Control flow Theoretical computer science Logic in computer science Functional programming Continuations Lambda calculus Robert Bruce Findler Reduction strategy Operational semantics Software engineering Computing Programming language theory
672	Alonzo Church inventor of lambda calculus 9 Lambda Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Mathematics Anonymous function Function Binary lambda calculus Church encoding Lambda calculus Software engineering Declarative programming
673	Types For Modules Claudio V. Russo Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-04-02 04:22:02 Procedural programming languages Functional languages Type theory Lambda calculus Quantification Standard ML Type system Programming language ML Programming language theory Software engineering Computing
674	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
675	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Models of computation Racket Formal languages Lambda calculus ALGOL 68 Lazy evaluation Fold Regular expression Software engineering Computing Computer programming
676	Functional Programming in Java Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2014-03-19 16:07:38 Cross-platform software Scripting languages Functional languages Java platform Java programming language Java Lisp Lambda calculus The Pragmatic Programmer Computing Software engineering Computer programming
677	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
678	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic
679	Adding Types to Untyped Languages Matthias Felleisen PLT Northeastern University, Boston, Massachusetts [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Lambda calculus Data types Functional programming Racket Matthias Felleisen Type safety Programming language Robert Bruce Findler Software engineering Computing Programming language theory
680	Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:36:45 Computer programming Type theory Data types Region-based memory management Constructor Calculus Lambda calculus Type system Monad Computing Software engineering Memory management

UPDATE